منابع مشابه
An abstract standardisation theorem
The standardisation theorem is a key theorem in the-calculus. It implies that any normal form can be reached by the normal order (leftmost outermost) strategy. The theorem states that any reduction may be rearranged in a top-down and left-to-right order. This also holds in orthogonal term rewriting systems (TRS), although the left-to-right order is more subtle. We give a new presentation of the...
متن کاملAn Abstract Factorization Theorem for Explicit Substitutions
We study a simple form of standardization, here called factorization, for explicit substitutions calculi, i.e. lambda-calculi where beta-reduction is decomposed in various rules. These calculi, despite being non-terminating and non-orthogonal, have a key feature: each rule terminates when considered separately. It is well-known that the study of rewriting properties simplifies in presence of te...
متن کاملSum Formula for Maximal Abstract Monotonicity and Abstract Rockafellar’s Surjectivity Theorem
In this paper, we present an example in which the sum of two maximal abstract monotone operators is maximal. Also, we shall show that the necessary condition for Rockafellar’s surjectivity which was obtained in ([19], Theorem 4.3) can be sufficient.
متن کاملAbstract Theorem Proving
Informally, a b s t r a c t i o n can be described as the process of mapping a representation of a problem into a new representation. The aim of the paper is to propose a theory of abstrac t ion. The generality of the framework is tested by formalizing and analyzing some work done in the past; i ts efficacy by giving a procedure which solves the '' false proof problem by avoid ing the use of ...
متن کاملAbstract fluctuation theorem
fluctuation theorem Maciej P. Wojtkowski Department of Mathematics and Informatics, University of Warmia and Mazury, ul. Zolnierska 14, 10-561 Olsztyn, Poland E-mail address: [email protected]
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1981
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1981.94.303